Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Все языки
Испанский
Немецкий
Русский

formal consistency

Толкование Перевод

1 formal consistency

мат. формальная непротиворечивость

Большой англо-русский и русско-английский словарь > formal consistency
2 formal consistency

Математика: формальная непротиворечивость

Универсальный англо-русский словарь > formal consistency
3 formal consistency

мат.

формальная непротиворечивость

English-Russian scientific dictionary > formal consistency
4 formal consistency

формальная непротиворечивость

Англо-русский словарь по исследованиям и ноу-хау > formal consistency
5 consistency

1) согласованность, непротиворечивость; целостность

2) стат. состоятельность

3) последовательность, логичность, непротиворечивость

4) постоянство

5) совместимость; совместность

6) консистенция; плотность

•

- absolute consistency

- characteristic consistency

- consistency of acts

- consistency of axioms

- consistency of data

- consistency of equations

- consistency of estimator

- constrained consistency

- deductible consistency

- demonstrable consistency

- external consistency

- fiducial consistency

- filtered consistency

- formal consistency

- functionally uniform consistency

- integrated consistency

- internal consistency

- intuitive consistency

- joint consistency

- logical consistency

- model consistency

- mutual consistency

- nonsag consistency

- partial consistency

- pointwise consistency

- proper consistency

- relative consistency

- semantic consistency

- simple consistency

- strict consistency

- syntactic consistency

- total consistency

- uniform consistency

- weak consistency

English-Russian scientific dictionary > consistency
6 формальная непротиворечивость

мат. formal consistency

Большой англо-русский и русско-английский словарь > формальная непротиворечивость
7 near cash

!

гос. фин. The resource budget contains a separate control total for “near cash” expenditure, that is expenditure such as pay and current grants which impacts directly on the measure of the golden rule.

Introduction

This paper provides background information on the framework for the planning and control of public expenditure in the UK which has been operated since the 1998 Comprehensive Spending Review (CSR). It sets out the different classifications of spending for budgeting purposes and why these distinctions have been adopted. It discusses how the public expenditure framework is designed to ensure both sound public finances and an outcome-focused approach to public expenditure.

Principles of the framework

The UK's public spending framework is based on several key principles:
"
consistency with a long-term, prudent and transparent regime for managing the public finances as a whole;
" "
the judgement of success by policy outcomes rather than resource inputs;
" "
strong incentives for departments and their partners in service delivery to plan over several years and plan together where appropriate so as to deliver better public services with greater cost effectiveness; and
"
the proper costing and management of capital assets to provide the right incentives for public investment.

The Government sets policy to meet two firm fiscal rules:
"
the Golden Rule states that over the economic cycle, the Government will borrow only to invest and not to fund current spending; and
"
the Sustainable Investment Rule states that net public debt as a proportion of GDP will be held over the economic cycle at a stable and prudent level. Other things being equal, net debt will be maintained below 40 per cent of GDP over the economic cycle.

Achievement of the fiscal rules is assessed by reference to the national accounts, which are produced by the Office for National Statistics, acting as an independent agency. The Government sets its spending envelope to comply with these fiscal rules.

Departmental Expenditure Limits ( DEL) and Annually Managed Expenditure (AME)

The framework for public expenditure is divided between
"
Departmental Expenditure Limit ( DEL) spending, which is planned and controlled on a three year basis in Spending Reviews; and
"
Annually Managed Expenditure ( AME), which is expenditure which cannot reasonably be subject to firm, multi-year limits in the same way as DEL. AME includes social security benefits, local authority self-financed expenditure, debt interest, and payments to EU institutions.

More information about DEL and AME is set out below.

back to top

Departmental Expenditure Limits ( DEL)

In Spending Reviews, firm DEL plans are set for departments for three years. To ensure consistency with the Government's fiscal rules departments are set separate resource (current) and capital budgets. The resource budget contains a separate control total for “near cash” expenditure, that is expenditure such as pay and current grants which impacts directly on the measure of the golden rule.

To encourage departments to plan over the medium term departments may carry forward unspent DEL provision from one year into the next and, subject to the normal tests for tautness and realism of plans, may be drawn down in future years. This end-year flexibility also removes any incentive for departments to use up their provision as the year end approaches with less regard to value for money. For the full benefits of this flexibility and of three year plans to feed through into improved public service delivery, end-year flexibility and three year budgets should be cascaded from departments to executive agencies and other budget holders.

Three year budgets and end-year flexibility give those managing public services the stability to plan their operations on a sensible time scale. Further, the system means that departments cannot seek to bid up funds each year (before 1997, three year plans were set and reviewed in annual Public Expenditure Surveys). So the credibility of medium-term plans has been enhanced at both central and departmental level.

Departments have certainty over the budgetary allocation over the medium term and these multi-year DEL plans are strictly enforced. Departments are expected to prioritise competing pressures and fund these within their overall annual limits, as set in Spending Reviews. So the DEL system provides a strong incentive to control costs and maximise value for money.

There is a small centrally held DEL Reserve. Support from the Reserve is available only for genuinely unforeseeable contingencies which departments cannot be expected to manage within their DEL.

Annually Managed Expenditure ( AME)

AME typically consists of programmes which are large, volatile and demand-led, and which therefore cannot reasonably be subject to firm multi-year limits. The biggest single element is social security spending. Other items include tax credits, Local Authority Self Financed Expenditure, Scottish Executive spending financed by non-domestic rates, and spending financed from the proceeds of the National Lottery.

AME is reviewed twice a year as part of the Budget and Pre-Budget Report process reflecting the close integration of the tax and benefit system, which was enhanced by the introduction of tax credits.

AME is not subject to the same three year expenditure limits as DEL, but is still part of the overall envelope for public expenditure. Affordability is taken into account when policy decisions affecting AME are made. The Government has committed itself not to take policy measures which are likely to have the effect of increasing social security or other elements of AME without taking steps to ensure that the effects of those decisions can be accommodated prudently within the Government's fiscal rules.

Given an overall envelope for public spending, forecasts of AME affect the level of resources available for DEL spending. Cautious estimates and the AME margin are built in to these AME forecasts and reduce the risk of overspending on AME.

Total Managed Expenditure

Together, DEL plus AME sum to Total Managed Expenditure (TME). TME is a measure drawn from national accounts. It represents the current and capital spending of the public sector. The public sector is made up of central government, local government and public corporations.

back to top

Resource Accounting and Budgeting ( RAB)

Resource and Capital Budgets are set in terms of accruals information. Accruals information measures resources as they are consumed rather than when the cash is paid. So for example the Resource Budget includes a charge for depreciation, a measure of the consumption or wearing out of capital assets.
"
Non cash charges in budgets do not impact directly on the fiscal framework. That may be because the national accounts use a different way of measuring the same thing, for example in the case of the depreciation of departmental assets. Or it may be that the national accounts measure something different: for example, resource budgets include a cost of capital charge reflecting the opportunity cost of holding capital; the national accounts include debt interest.
"
Within the Resource Budget DEL, departments have separate controls on:
"
Near cash spending, the sub set of Resource Budgets which impacts directly on the Golden Rule; and
"
Administration Budgets (see below)

Administration Budgets

The amount of their Resource Budget DEL that departments may spend on running themselves (e.g. paying most civil servants’ salaries) is limited by Administration Budgets, which are set in Spending Reviews. Administration Budgets are used to ensure that as much money as practicable is available for front line services and programmes. These budgets also help to drive efficiency improvements in departments’ own activities. Administration Budgets exclude the costs of frontline services delivered directly by departments.

Spending Reviews

The Budget preceding a Spending Review sets an overall envelope for public spending that is consistent with the fiscal rules for the period covered by the Spending Review. In the Spending Review, the Budget AME forecast for year one of the Spending Review period is updated, and AME forecasts are made for the later years of the Spending Review period.

The 1998 Comprehensive Spending Review ( CSR), which was published in July 1998, was a comprehensive review of departmental aims and objectives alongside a zero-based analysis of each spending programme to determine the best way of delivering the Government's objectives. The 1998 CSR allocated substantial additional resources to the Government's key priorities, particularly education and health, for the three year period from 1999-2000 to 2001-02.

Delivering better public services does not just depend on how much money the Government spends, but also on how well it spends it. Therefore the 1998 CSR introduced Public Service Agreements (PSAs). Each major government department was given its own PSA setting out clear targets for achievements in terms of public service improvements.

The 1998 CSR also introduced the DEL/ AME framework for the control of public spending, and made other framework changes. Building on the investment and reforms delivered by the 1998 CSR, successive spending reviews in 2000, 2002 and 2004 have:
"
provided significant increase in resources for the Government’s priorities, in particular health and education, and cross-cutting themes such as raising productivity; extending opportunity; and building strong and secure communities;
" "
enabled the Government significantly to increase investment in public assets and address the legacy of under investment from past decades. Departmental Investment Strategies were introduced in SR2000. As a result there has been a steady increase in public sector net investment from less than ¾ of a per cent of GDP in 1997-98 to 2¼ per cent of GDP in 2005-06, providing better infrastructure across public services;
" "
introduced further refinements to the performance management framework. PSA targets have been reduced in number over successive spending reviews from around 300 to 110 to give greater focus to the Government’s highest priorities. The targets have become increasingly outcome-focused to deliver further improvements in key areas of public service delivery across Government. They have also been refined in line with the conclusions of the Devolving Decision Making Review to provide a framework which encourages greater devolution and local flexibility. Technical Notes were introduced in SR2000 explaining how performance against each PSA target will be measured; and
"
not only allocated near cash spending to departments, but also – since SR2002 - set Resource DEL plans for non cash spending.

back to top

Comprehensive Spending Review 2007

To identify what further investments and reforms are needed to equip the UK for the global challenges of the decade ahead, on 19 July 2005 the Chief Secretary to the Treasury announced that the Government intends to launch a second Comprehensive Spending Review (CSR) reporting in 2007.

A decade on from the first CSR, the 2007 CSR will represent a long-term and fundamental review of government expenditure. It will cover departmental allocations for 2008-09, 2009-10 and 2010 11. Allocations for 2007-08 will be held to the agreed figures already announced by the 2004 Spending Review. To provide a rigorous analytical framework for these departmental allocations, the Government will be taking forward a programme of preparatory work over 2006 involving:
"
an assessment of what the sustained increases in spending and reforms to public service delivery have achieved since the first CSR. The assessment will inform the setting of new objectives for the decade ahead;
" "
an examination of the key long-term trends and challenges that will shape the next decade – including demographic and socio-economic change, globalisation, climate and environmental change, global insecurity and technological change – together with an assessment of how public services will need to respond;
" "
to release the resources needed to address these challenges, and to continue to secure maximum value for money from public spending over the CSR period, a set of zero-based reviews of departments’ baseline expenditure to assess its effectiveness in delivering the Government’s long-term objectives; together with
"
further development of the efficiency programme, building on the cross cutting areas identified in the Gershon Review, to embed and extend ongoing efficiency savings into departmental expenditure planning.

The 2007 CSR also offers the opportunity to continue to refine the PSA framework so that it drives effective delivery and the attainment of ambitious national standards.

Obtaining good performance

Public Service Agreements (PSAs) were introduced in the 1998 CSR. They set out agreed targets detailing the outputs and outcomes departments are expected to deliver with the resources allocated to them. The new spending regime places a strong emphasis on outcome targets, for example in providing for better health and higher educational standards or service standards. The introduction in SR2004 of PSA ‘standards’ will ensure that high standards in priority areas are maintained.

The Government monitors progress against PSA targets, and departments report in detail twice a year in their annual Departmental Reports (published in spring) and in their autumn performance reports. These reports provide Parliament and the public with regular updates on departments’ performance against their targets.

Technical Notes explain how performance against each PSA target will be measured.

Departmental Investment Strategies (DISs)

To make the most of both new investment and existing assets, there needs to be a coherent long term strategy against which investment decisions are taken. Departmental Investment Strategies (DIS) set out each department's plans to deliver the scale and quality of capital stock needed to underpin its objectives. The DIS includes information about the department's existing capital stock and future plans for that stock, as well as plans for new investment. It also sets out the systems that the department has in place to ensure that it delivers its capital programmes effectively.

This document was updated on 19 December 2005.

Near-cash resource expenditure that has a related cash implication, even though the timing of the cash payment may be slightly different. For example, expenditure on gas or electricity supply is incurred as the fuel is used, though the cash payment might be made in arrears on aquarterly basis. Other examples of near-cash expenditure are: pay, rental.Net cash requirement the upper limit agreed by Parliament on the cash which a department may draw from theConsolidated Fund to finance the expenditure within the ambit of its Request forResources. It is equal to the agreed amount of net resources and net capital less non-cashitems and working capital.Non-cash cost costs where there is no cash transaction but which are included in a body’s accounts (or taken into account in charging for a service) to establish the true cost of all the resourcesused.Non-departmental a body which has a role in the processes of government, but is not a government public body, NDPBdepartment or part of one. NDPBs accordingly operate at arm’s length from governmentMinisters.Notional cost of a cost which is taken into account in setting fees and charges to improve comparability with insuranceprivate sector service providers.The charge takes account of the fact that public bodies donot generally pay an insurance premium to a commercial insurer.the independent body responsible for collecting and publishing official statistics about theUK’s society and economy. (At the time of going to print legislation was progressing tochange this body to the Statistics Board).Office of Government an office of the Treasury, with a status similar to that of an agency, which aims to maximise Commerce, OGCthe government’s purchasing power for routine items and combine professional expertiseto bear on capital projects.Office of the the government department responsible for discharging the Paymaster General’s statutoryPaymaster General,responsibilities to hold accounts and make payments for government departments and OPGother public bodies.Orange bookthe informal title for Management of Risks: Principles and Concepts, which is published by theTreasury for the guidance of public sector bodies.Office for NationalStatistics, ONS60Managing Public Money

————————————————————————————————————————

Page 5
"
GLOSSARYOverdraftan account with a negative balance.Parliament’s formal agreement to authorise an activity or expenditure.Prerogative powerspowers exercisable under the Royal Prerogative, ie powers which are unique to the Crown,as contrasted with common-law powers which may be available to the Crown on the samebasis as to natural persons.Primary legislationActs which have been passed by the Westminster Parliament and, where they haveappropriate powers, the Scottish Parliament and the Northern Ireland Assembly. Begin asBills until they have received Royal Assent.arrangements under which a public sector organisation contracts with a private sectorentity to construct a facility and provide associated services of a specified quality over asustained period. See annex 7.5.Proprietythe principle that patterns of resource consumption should respect Parliament’s intentions,conventions and control procedures, including any laid down by the PAC. See box 2.4.Public Accountssee Committee of Public Accounts.CommitteePublic corporationa trading body controlled by central government, local authority or other publiccorporation that has substantial day to day operating independence. See section 7.8.Public Dividend finance provided by government to public sector bodies as an equity stake; an alternative to Capital, PDCloan finance.Public Service sets out what the public can expect the government to deliver with its resources. EveryAgreement, PSAlarge government department has PSA(s) which specify deliverables as targets or aimsrelated to objectives.a structured arrangement between a public sector and a private sector organisation tosecure an outcome delivering good value for money for the public sector. It is classified tothe public or private sector according to which has more control.Rate of returnthe financial remuneration delivered by a particular project or enterprise, expressed as apercentage of the net assets employed.Regularitythe principle that resource consumption should accord with the relevant legislation, therelevant delegated authority and this document. See box 2.4.Request for the functional level into which departmental Estimates may be split. RfRs contain a number Resources, RfRof functions being carried out by the department in pursuit of one or more of thatdepartment’s objectives.Resource accountan accruals account produced in line with the Financial Reporting Manual (FReM).Resource accountingthe system under which budgets, Estimates and accounts are constructed in a similar wayto commercial audited accounts, so that both plans and records of expenditure allow in fullfor the goods and services which are to be, or have been, consumed – ie not just the cashexpended.Resource budgetthe means by which the government plans and controls the expenditure of resources tomeet its objectives.Restitutiona legal concept which allows money and property to be returned to its rightful owner. Ittypically operates where another person can be said to have been unjustly enriched byreceiving such monies.Return on capital the ratio of profit to capital employed of an accounting entity during an identified period.employed, ROCEVarious measures of profit and of capital employed may be used in calculating the ratio.Public Privatepartnership, PPPPrivate Finance Initiative, PFIParliamentaryauthority61Managing Public Money
"
————————————————————————————————————————

Page 6

GLOSSARYRoyal charterthe document setting out the powers and constitution of a corporation established underprerogative power of the monarch acting on Privy Council advice.Second readingthe second formal time that a House of Parliament may debate a bill, although in practicethe first substantive debate on its content. If successful, it is deemed to denoteParliamentary approval of the principle of the proposed legislation.Secondary legislationlaws, including orders and regulations, which are made using powers in primary legislation.Normally used to set out technical and administrative provision in greater detail thanprimary legislation, they are subject to a less intense level of scrutiny in Parliament.European legislation is,however,often implemented in secondary legislation using powers inthe European Communities Act 1972.Service-level agreement between parties, setting out in detail the level of service to be performed.agreementWhere agreements are between central government bodies, they are not legally a contractbut have a similar function.Shareholder Executive a body created to improve the government’s performance as a shareholder in businesses.Spending reviewsets out the key improvements in public services that the public can expect over a givenperiod. It includes a thorough review of departmental aims and objectives to find the bestway of delivering the government’s objectives, and sets out the spending plans for the givenperiod.State aidstate support for a domestic body or company which could distort EU competition and sois not usually allowed. See annex 4.9.Statement of Excessa formal statement detailing departments’ overspends prepared by the Comptroller andAuditor General as a result of undertaking annual audits.Statement on Internal an annual statement that Accounting Officers are required to make as part of the accounts Control, SICon a range of risk and control issues.Subheadindividual elements of departmental expenditure identifiable in Estimates as single cells, forexample cell A1 being administration costs within a particular line of departmental spending.Supplyresources voted by Parliament in response to Estimates, for expenditure by governmentdepartments.Supply Estimatesa statement of the resources the government needs in the coming financial year, and forwhat purpose(s), by which Parliamentary authority is sought for the planned level ofexpenditure and income.Target rate of returnthe rate of return required of a project or enterprise over a given period, usually at least a year.Third sectorprivate sector bodies which do not act commercially,including charities,social and voluntaryorganisations and other not-for-profit collectives. See annex 7.7.Total Managed a Treasury budgeting term which covers all current and capital spending carried out by the Expenditure,TMEpublic sector (ie not just by central departments).Trading fundan organisation (either within a government department or forming one) which is largely orwholly financed from commercial revenue generated by its activities. Its Estimate shows itsnet impact, allowing its income from receipts to be devoted entirely to its business.Treasury Minutea formal administrative document drawn up by the Treasury, which may serve a wide varietyof purposes including seeking Parliamentary approval for the use of receipts asappropriations in aid, a remission of some or all of the principal of voted loans, andresponding on behalf of the government to reports by the Public Accounts Committee(PAC).62Managing Public Money

————————————————————————————————————————

Page 7

GLOSSARY63Managing Public MoneyValue for moneythe process under which organisation’s procurement, projects and processes aresystematically evaluated and assessed to provide confidence about suitability, effectiveness,prudence,quality,value and avoidance of error and other waste,judged for the public sectoras a whole.Virementthe process through which funds are moved between subheads such that additionalexpenditure on one is met by savings on one or more others.Votethe process by which Parliament approves funds in response to supply Estimates.Voted expenditureprovision for expenditure that has been authorised by Parliament. Parliament ‘votes’authority for public expenditure through the Supply Estimates process. Most expenditureby central government departments is authorised in this way.Wider market activity activities undertaken by central government organisations outside their statutory duties,using spare capacity and aimed at generating a commercial profit. See annex 7.6.Windfallmonies received by a department which were not anticipated in the spending review.

————————————————————————————————————————

Page 8

64Managing Public Money

Англо-русский экономический словарь > near cash
8 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
9 stiff

1. n сл. вексель

2. n сл. поддельная банкнота

3. n сл. поддельный чек

4. n сл. тайное письмо; секретное послание; записка, переданная тайком

5. n сл. нескладёха

6. n сл. босяк, бродяга

7. n сл. зануда, «сухарь»

8. n сл. жадина, сквалыга

9. n сл. мертвецки пьяный человек

10. n сл. труп, мертвец

11. n сл. участник соревнования, обречённый на неудачу

парень, человек

12. n сл. амер. рабочий; работяга; батрак

13. a жёсткий, крепкий; тугой, неэластичный

stiff brush — жёсткая щётка

stiff movement — тугой ход

stiff breeze — крепкий ветер

stiff steering — тугое рулевое управление

to mix oneself a stiff peg — сделать себе крепкую смесь

a piano with a stiff touch — фортепьяно с тугими клавишами

14. a окоченевший, застывший; оцепеневший

stiff with rheumatism — скованный ревматизмом

stiff in death — окоченевший

a stiff one — труп, мертвец

to be stiff with cold — окоченеть от холода

my legs feel stiff — у меня ноги совершенно онемели, у меня ноги как деревянные

15. a напряжённый, деревянный

stiff smile — застывшая улыбка

stiff walk — деревянная походка

16. a плохо действующий, тугоподвижный

stiff hinges — тугие петли

17. a полужидкий; вязкий, густой, плотный

stiff dough — крутое тесто

stiff ink — густая краска

stiff paint — густая краска

stiff consistency — густая консистенция

stiff paste — густая паста; крутое тесто

stiff raw state — плотное необожженное состояние

18. a твёрдый, решительный, непреклонный

stiff denial — решительный отказ

stiff cover — твёрдый переплёт

19. a ожесточённый, упорный

stiff battle — ожесточённая битва

20. a неловкий, неуклюжий

stiff bow — неловкий поклон

21. a мертвецки пьяный

22. a холодный, чопорный

stiff manners — церемонное обращение

stiff bow — церемонный поклон

a stiff perpendicular old maid — прямая, чопорная старая дева

23. a твёрдый, трудный для обработки

stiff book — трудно раскрывающаяся книга

24. a сильный

stiff gale — сильный ветер, буря

25. a сильнодействующий

stiff dose — большая доза

26. a высокий

27. a устойчивый

stiff market — устойчивый рынок

28. a чрезмерный

29. a строгий

30. a плотно упакованный

31. a разг. битком набитый

32. a редк. упрямый

33. a мед. ригидный

34. a мор. остойчивый, невалкий

to carry stiff upper lip — не терять мужества, не падать духом, держаться молодцом

35. adv до изнеможения, до смерти

he bores me stiff — он мне до смерти надоел

36. adv жёстко; не сгибаясь

his clothes were frozen stiff — его одежда замёрзла и стояла колом

pour me out something stiff, give me a stiff one — налейте мне чего-нибудь покрепче

Синонимический ряд:

1. artificial (adj.) artificial; unnatural

2. awkward (adj.) abrupt; awkward; clumsy; crude; graceless; inelegant

3. buckram (adj.) buckram; cardboard; muscle-bound; starchy; stilted; wooden

4. difficult (adj.) arduous; difficult; hard; laborious

5. excessive (adj.) dizzy; dizzying; excessive; exorbitant; extravagant; extreme; immoderate; inordinate; sky-high; steep; stratospheric; supernatural; towering; unconscionable; undue; unmeasurable

6. formal (adj.) ceremonious; constrained; formal; priggish; prim; punctilious; starched

7. harsh (adj.) harsh; severe; stern; stringent

8. immalleable (adj.) firm; immalleable; impliable; inalterable; incompliant; inelastic; inflexible; invariable; ironclad; rigid; solid; unalterable; unbendable; unbending; unchangeable; unflexible; unyielding

9. intoxicated (adj.) alcoholized; blind; cockeyed; disguised; drunk; drunken; fried; inebriated; inebrious; intoxicated; looped; muddled; pixilated; polluted; rum-dum; slewed; slopped; sloppy; soshed; sozzled; squiffed; stoned; tanked; unsober; wet; zonked

10. obstinate (adj.) bullheaded; closed-minded; deaf; hardheaded; headstrong; intractable; intransigent; muleheaded; muley; mulish; obstinate; pertinacious; perverse; pervicacious; pigheaded; purposive; refractory; resolved; self-willed; stiff-necked; stubborn; tough; unpliable; unpliant; unrelenting; willful; wrongheaded

11. tense (adj.) strained; taut; tense; tight

12. uncompromising (adj.) absolute; austere; dogmatic; inexorable; positive; rigorous; strict; uncompromising

13. corpse (noun) body; cadaver; carcass; corpse; mort; remains

14. drunkard (noun) bibber; boozehound; boozer; drunk; drunkard; fuddler; guzzler; inebriate; lush; rumdum; rummy; soak; soaker; sot; sponge; swillbowl; swiller; tippler; toper; tosspot

15. miser (noun) cheapskate; cheeseparer; chuff; hunks; miser; moneygrubber; muckworm; nabal; niggard; penny pincher; piker; scrooge; skin; skinflint; tightwad

Антонимический ряд:

cooperative; genial; lenient; limp; natural; pliant; relaxed; unaffected; yielding

English-Russian base dictionary > stiff
10 error

ˈerə сущ.
1) заблуждение, оплошность, ошибка( во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, ошибочно through a clerical error ≈ из-за канцелярской ошибки to admit to (making) an error ≈ признать ошибку to commit an error, make an error ≈ совершить ошибку, ошибиться to correct an error, rectify an error ≈ устранять ошибку, исправлять ошибку to compound an error ≈ сглаживать ошибку cardinal error ≈ главная, кардинальная ошибка costly error ≈ дорого обошедшаяся ошибка egregious error, flagrant error, glaring error ≈ грубая, вопиющая ошибка grievous error ≈ прискорбная ошибка grammatical error ≈ грамматическая ошибка printer's error, typographical error ≈ типографская ошибка procedural error ≈ процессуальная ошибка tactical error ≈ тактическая ошибка typing error ≈ опечатка through a typing error ≈ из-за ошибки машинистки, по вине машинистки to be in error ≈ заблуждаться Syn: mistake, fault
2) проступок, грех Syn: transgression, wrong-doing
3) поэт. блуждание
4) тех. изменение, ответвление, отклонение, погрешность, уклонение Syn: deviation, digression;
swerve
5) радио рассогласование ошибка, заблуждение, ложное представление - human * ошибка, свойственная человеку - *s of taste плохой вкус в одежде - an * of judgement неверное суждение, ошибочный расчет, ошибочная оценка - in * ошибочно, по ошибке - to do smth. in * ошибиться, сделать что-либо по ошибке - to make an * сделать ошибку;
впасть в заблуждение - to be in * ошибаться, заблуждаться - to dispossess smb. of an * (книжное) выводить кого-либо из заблуждения - to lead smb. into * вводить кого-либо в заблуждение - to fall into a serious * впасть в серьезную ошибку - he has seen the * of his ways он понял, что поступал неправильно ошибка, погрешность - spelling * ошибка в правописании - printers' * опечатка - noise * (специальное) искажение, вызванное шумами - permissible * (техническое) допуск - actual( специальное) истинная ошибка, истинная величина ошибки - appreciable * существенная ошибка - inappreciable * незначительная погрешность - * code (компьютерное) код ошибки - * log (компьютерное) файл регистрации ошибок - * of omission упущение, недосмотр - * in reading( специальное) ошибка отсчета - to eliminate the *s устранять ошибки проступок, грех - cardinal * смертный грех - *s of youth грехи молодости - to repent one's *s покаяться в грехах (техническое) отклонение (от номинала) ;
потеря точности - station * уклонение отвеса (радиотехника) рассогласование (юридическое) фактическая или юридическая ошибка, допущенная судом в судебном процессе - * in fact фактическая ошибка - * in procedure процессуальная ошибка - writ of * ходатайство об отмене приговора суда вследствие допущенной им при рассмотрении дела ошибки;
аппеляционная жалоба absolute ~ абсолютная ошибка accidental ~ случайная ошибка accounting ~ ошибка бухгалтерского учета accuracy ~ постоянная ошибка addressing ~ вчт. ошибка адресации alignment ~ погрешность юстировки altering ~ нерегулярная ошибка analytic truncation ~ ошибка аналитического усечения average ~ средняя ошибка bad call format ~ вчт. ошибка из-за неправильного вызова bad command ~ вчт. ошибка из-за неправильной команды balancing ~ сбалансированная ошибка ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться bias ~ постоянная ошибка biased ~ постоянная ошибка biased ~ систематическая ошибка burst ~ вчт. пакет ошибок calculating ~ погрешность расчета call ~ вчт. ошибка вызова chance ~ случайная ошибка checksum ~ вчт. ошибка в контрольной сумме code ~ вчт. ошибка в коде coincidence ~ вчт. ошибка совпадения common ~ вчт. обычная ошибка compensating ~ вчт. компенсирующая ошибка compensating ~ компенсирующая ошибка compile-time ~ вчт. ошибка при трансляции completeness ~ вчт. ошибка завершения configuration ~ вчт. ошибка компоновки configuration ~ вчт. ошибка конфигурации connection ~ вчт. ошибка монтажа consistency ~ вчт. ошибка из-за несовместимости constant ~ постоянная ошибка constant ~ систематическая ошибка constructional ~ вчт. ошибка монтажа contributory ~ вчт. внесенная ошибка control ~ вчт. ошибка регулирования critical ~ вчт. неустранимая ошибка crude ~ вчт. грубая ошибка cumulative ~ накопленная ошибка data ~ вчт. ошибка в данных data-bit ~ вчт. ошибка в битах данных deletion ~ вчт. ложное исключение design ~ ошибка проектирования detectable ~ вчт. обнаруживаемая ошибка detectable ~ вчт. обнаружимая ошибка difficult-to-locate ~ вчт. труднообнаружимая ошибка displacement ~ вчт. ошибка из-за смещения documentation ~ ошибка в документации double-bit ~ вчт. двухбитовая ошибка dropout ~ вчт. ошибка из-за выпадения error поэт. блуждание ~ грех ~ заблуждение ~ ложное представление ~ отклонение, уклонение, погрешность ~ отклонение от номинала ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться ~ вчт. ошибка ~ ошибка ~ вчт. погрешность ~ погрешность ~ потеря точности ~ "приказ об ошибке" (т.е. о передаче материалов по делу в апелляционный суд для пересмотра вынесенного судебного решения на основании ошибки, допущенной при рассмотрении дела) ~ радио рассогласование ~ рассогласование ~ due to sampling вчт. ошибка выборки ~ frequency limit вчт. максимальная частота однобитовых ошибок ~ in addition мат. ошибка сложения ~ in standard deviation ошибка среднего квадратического отклонения ~ in subtraction мат. ошибка вычитания ~ of estimation ошибка оценивания ~ of judgment неверное суждение ~ of judgment ошибочная оценка ~ of posting ошибка бухгалтерской проводки ~ status flag вчт. флаг состояния ошибки estimated ~ оцениваемая ошибка estimation ~ ошибка оценивания estimation ~ ошибка оценки execution ~ вчт. ошибка выполнения experimental ~ погрешность эксперемента factual ~ фактическая ошибка fatal ~ вчт. неисправимая ошибка fatal hard ~ вчт. неисправимая аппаратная ошибка file ~ вчт. ошибка при работе с файлом fixed ~ постоянная ошибка fixed ~ систематическая ошибка following ~ ошибка слежения formal ~ формальная ошибка framing ~ ошибка кадровой синхронизации frequency ~ погрешность частоты general ~ вчт. ошибка общего характера gross ~ грубая ошибка hardware ~ вчт. аппаратная ошибка human ~ вчт. ошибка оператора ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться in-process ~ ошибка изготовления inherent ~ вчт. унаследованная ошибка inherited ~ вчт. предвнесенная ошибка inherited ~ вчт. унаследованная ошибка initial ~ вчт. начальная ошибка input ~ вчт. ошибка на входе insertion ~ вчт. ошибка ложного восприятия instantaneous ~ вчт. текущее значение ошибки intentional ~ вчт. умышленная ошибка intermediate ~ вчт. нерегулярная ошибка intermittent ~ случайная ошибка interpolation ~ ошибка интерполяции intrinsic ~ вчт. исходная ошибка introduced ~ вчт. внесенная ошибка introduced ~ вчт. допущенная ошибка irrecoverable ~ непоправимая ошибка isolated ~ вчт. локализованная ошибка isolated ~ вчт. одиночная ошибка judicial ~ судебная ошибка limiting ~ предел точности literal ~ полигр. опечатка literal: ~ буквенный;
literal error опечатка ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться marginal ~ вчт. краевая ошибка matching ~ вчт. ошибка неточного согласования material ~ существенная ошибка maximum ~ максимальная ошибка maximum ~ предельная ошибка maximum permissible ~ максимальная допустимая ошибка mean ~ средняя ошибка mean probable ~ средняя вероятная ошибка metering ~ ошибка измерения missing ~ вчт. ошибка из-за отсутствия данных nautical ~ навигационная ошибка no-paper ~ вчт. ошибка из-за отсутствия бумаги nonsampling ~ постоянная ошибка nonsampling ~ систематическая ошибка observation ~ ошибка наблюдения observational ~ ошибка наблюдения offsetting ~ компенсирующая ошибка operating ~ ошибка в процессе работы operating ~ ошибка из-за нарушения правил эксплуатации operation ~ ошибка в работе operational ~ ошибка из-за нарушения правил эксплуатации operator ~ вчт. ошибка оператора output ~ вчт. ошибка выхода parity ~ ошибка, выявленная контролем по четности parity ~ вчт. ошибка четности pattern-sensitive ~ вчт. кодочувствительная ошибка percentage ~ ошибка в процентах permissible ~ допустимая ошибка posting ~ ошибка при переносе в бухгалтерскую книгу precautionary ~ подозреваемая ошибка predictable ~ предсказуемая ошибка probable ~ вероятная ошибка probable ~ стат. вероятная ошибка procedural ~ процедурная ошибка procedural ~ процеждурная ошибка professional ~ профессиональная ошибка program ~ вчт. ошибка в программе program ~ вчт. программная ошибка propagated ~ накапливаемая ошибка propagated ~ вчт. распространяющаяся ошибка propagation ~ вчт. накапливающаяся ошибка pure ~ вчт. истинная ошибка quantitative ~ количественная ошибка quantization ~ вчт. ошибка дискретизации quiet ~ вчт. исправимая ошибка quite ~ вчт. исправимая ошибка random ~ случайная ошибка random sampling ~ ошибка случайной выборки read fault ~ вчт. сбой при чтении reasonable ~ допустимая ошибка recoverable ~ вчт. исправимая ошибка recoverable ~ исправимая ошибка recurrent ~ вчт. повторяющаяся ошибка reduced ~ приведенная погрешность relative ~ относительная ошибка remediable ~ поправимая ошибка residual ~ остаточная ошибка responce ~ вчт. ошибка ответной реакции resultant ~ суммарная ошибка return an ~ code вчт. выдавать код ошибки root-mean-square ~ среднеквадратичная ошибка round ~ вчт. ошибка округления round-off ~ вчт. ошибка округления rounding ~ вчт. ошибка округления rounding ~ ошибка округления run-time ~ вчт. ошибка при выполнении runtime ~ вчт. ошибка при выполнении sample ~ вчт. ошибка выборки sampling ~ вчт. ошибка выборки sampling ~ stat. ошибка выборки sampling ~ stat. ошибка выборочного обследования sampling ~ вчт. ошибка квантования seek ~ вчт. ошибка при поиске дорожки select ~ вчт. ошибка выборки select ~ вчт. ошибка отсутствия связи semantic ~ вчт. семантическая ошибка sequence ~ вчт. неправильный порядок setup ~ вчт. ошибка настройки severe ~ серьезная ошибка size ~ вчт. переполнение размера сетки smoothing ~ ошибка сглаживания soft ~ нерегулярная ошибка soft ~ вчт. случайный сбой software ~ comp. ошибка в системе программного обеспечения software ~ вчт. программная ошибка solid burst ~ вчт. плотный пакет ошибок solid ~ вчт. постоянная ошибка spelling ~ орфографическая ошибка srecification ~ ошибка в описании standard ~ среднеквадратическая ошибка standard ~ (SE) stat. среднеквадратическая ошибка steady-state ~ статическая ошибка stored ~ вчт. накопленная ошибка substantial ~ существенная ошибка substitution ~ вчт. ошибка замещения subtle ~ неявная ошибка syntactical ~ синтаксическая ошибка syntax ~ вчт. синтаксическая ошибка system ~ вчт. ошибка системы systematic ~ stat. систематическая ошибка tabulation ~ вчт. неправильная классификация technical ~ формальная ошибка technical ~ формально-юридическая ошибка time-base ~ вчт. ошибка синхронизации timing ~ вчт. ошибка синхронизации total ~ накопленная ошибка total ~ общая ошибка transient ~ вчт. перемежающая ошибка translation ~ ошибка в переводе transmission ~ вчт. ошибка передачи true ~ вчт. истинная ошибка truncation ~ вчт. ошибка отбрасывания членов ряда truncation ~ вчт. ошибка усечения typing ~ опечатка unbiased ~ случайная ошибка uncompensated ~ нескомпенсированная ошибка underflow ~ вчт. ошибка обнаружения undetectable ~ вчт. необнаруживаемая ошибка undetectable ~ вчт. необнаружимая ошибка unexpected ~ occured вчт. произошла непредвиденная ошибка unrecoverable ~ вчт. неисправимая ошибка wiring ~ ошибка монтажа write fault ~ вчт. сбой при записи write protect ~ вчт. ошибка в связи с защитой от записи zero ~ сдвиг нуля

Большой англо-русский и русско-английский словарь > error
11 proof

1) доказательство, доказательства

2) доказывание

3) доказанность

4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных

5) пробный оттиск, корректура

•

proof and hearing — судебное следствие и выступления сторон;

proof beyond all reasonable doubt — доказанность при полном отсутствии оснований для сомнения в ней;

proof beyond any reasonable doubt — доказанность при отсутствии какого-л. основания для сомнения в ней;

proof beyond reasonable doubt — доказанность при отсутствии обоснованного в ней сомнения ( критерий доказанности обвинения);

proof by admission — см. proof of admission 1., 2., 3.;

proof by affidavit — 1. доказательство, полученное с помощью аффидевита 2. доказывание посредством аффидевита 3. установление факта с помощью аффидевита;

proof by circumstantial [indirect] evidence — доказывание или доказанность косвенными доказательствами;

proof by confession — см. proof of confession 1., 2., 3., 4.;

proof by direct evidence — доказывание или доказанность прямыми доказательствами;

proof by evidence — см. proof of evidence 1., 2., 3.;

proof by notoriety — осведомлённость суда, судейская осведомлённость (в отношении фактов, полагаемых известными суду без доказательств);

proof by presumption — доказывание по презумпции;

proof by testimony — 1. доказывание посредством свидетельских показаний 2. доказанность свидетельскими показаниями;

proof from the contrary — 1. доказательство от противного 2. доказывание от противного 3. доказанность от противного;

proof on a preponderance of probabilities — доказанность наличием большей вероятности ( критерий доказанности в гражданском процессе);

to develop proof — представить или получить доказательства;

to take proof — получить доказательства;

proof to the contrary — 1. доказательство противного 2. доказывание противного 3. доказанность противного

- proof of admission
- proof of attestation
- proof of confession
- proof of consistency
- proof of evidence
- proof of fact
- proof of official record
- proof of record
- proof of witness
- affirmative proof
- affirmative proof of loss
- categorical proof
- circular proof
- circumstantial proof
- clear proof
- conclusive proof
- controvertible proof
- conviction proof
- crucial proof
- direct proof
- evident proof
- formal proof
- foundation proof
- foundational proof
- hard proof
- incontrovertible proof
- independent proof
- indirect proof
- indubitable proof
- infallible proof
- inferential proof
- irrefutable proof
- judgement proof
- literal proof
- negative proof
- positive proof
- presumptive proof
- relevant proof
- reliable proof
- satisfactory proof
- substantial proof
- testimonial proof
- uncontrovertible proof
- virtual proof
- decisive proof

Англо-русский юридический словарь > proof
12 criterion

1) критерий, признак

2) условие

•

- a priori criterion

- absolute criterion

- acceptable criterion

- analytical criterion

- ascriptive criterion

- assessment criterion

- associativity criterion

- asymptotic criterion

- auxiliary criterion

- best predictable criterion

- Bode criterion

- characteristic criterion

- chi-square criterion

- combinatorial criterion

- compactness criterion

- comparison criterion

- completeness criterion

- consistency criterion

- continuous criterion

- control criterion

- convergence criterion

- criterion for diagonality

- criterion for divisibility

- criterion of accuracy

- criterion of adequacy

- criterion of admissibility

- criterion of applicability

- criterion of causality

- criterion of control

- criterion of deduction

- criterion of discrimination

- criterion of divisibility

- criterion of efficiency

- criterion of estimation

- criterion of independence

- criterion of interaction

- criterion of noninteraction

- criterion of optimality

- criterion of rotatability

- criterion of sufficiency

- criterion of truth

- criterion of verifiability

- decipherability criterion

- decision criterion

- deductive criterion

- dichotomous criterion

- differentiability criterion

- discrete criterion

- divergence criterion

- dominance criterion

- dynamic criterion

- empirical criterion

- equivalence criterion

- ergodic criterion

- error criterion

- error-squared criterion

- expected-value criterion

- external criterion

- factorization criterion

- fidelity criterion

- finite intersection criterion

- fitting criterion

- formal criterion

- formative criterion

- general criterion

- generalized criterion

- graphical criterion

- ill-structured criterion

- independence criterion

- inspection criterion

- integral criterion

- intrinsic criterion

- irreducibility criterion

- least squares criterion

- likelihood ratio criterion

- logarithmic criterion

- logical criterion

- maximax criterion

- maximin criterion

- maximum-likelihood criterion

- mean ergodic criterion

- metric criterion

- metrizational criterion

- minimax criterion

- minimax-regret criterion

- minimax-risk criterion

- minimum-bias criterion

- minimum-cost criterion

- minimum-variance criterion

- monotonicity criterion

- multiple criterion

- mutual covergence criterion

- necessary and sufficient criterion

- necessary criterion

- neighborhood criterion

- Neyman-Pearson criterion

- nonconformance criterion

- normability criterion

- one-sided criterion

- optimality criterion

- optimization criterion

- optimum criterion

- partial criterion

- pentad criterion

- positivity criterion

- probabilistic criterion

- probability criterion

- proportionality criterion

- quadratic criterion

- qualitative criterion

- quantitative criterion

- Rayleigh criterion

- recurrence criterion

- relevant criterion

- return criterion

- root-mean-square criterion

- rotatability criterion

- Routh-Hurwitz criterion

- secondary criterion

- selection criterion

- separable criterion

- sequencing criterion

- sequential criterion

- sequential decision criterion

- similarity criterion

- simplex criterion

- stability criterion

- standard criterion

- statistical criterion

- stopping criterion

- success criterion

- sufficiency criterion

- sufficient criterion

- symmetrical criterion

- systemic criterion

- tentative criterion

- testability criterion

- tetrad criterion

- three-series criterion

- three-sigma criterion

- truth criterion

- two-sided criterion

- unconditional stability criterion

- uniform convergence criterion

- utility criterion

- validation criterion

- validity criterion

- verifiability criterion

- weak convergence criterion

- weighted multiple criterion

- worst case criterion

English-Russian scientific dictionary > criterion
13 method

метод; процедура; способ

- a priori method

- abbreviated method

- abridged method

- absolute method

- adaptive method

- adaptive smoothing method

- ADI method

- adjoint method

- adobe blasting method

- aero-projection method

- algebraic method

- algorithmic method

- alternating method

- alternating-variable descent method

- analog method

- analytical method

- angular modulation method
- antithetic variate method
- approximate estimation method

- approximation-function method

- approximative method

- area method

- area moment method

- ascent method

- asymptotically efficient method
- average ordinate method - average range method
- averoid method

- axiomatic method

- axonometric method

- backward-sweep method

- balayage method

- Barrelet method of zeroes

- barrier method

- baseband recording method
- binary search method
- block-diagram method

- bordering method

- Borrmann method

- bottle method

- boundary integral method

- building-block method

- caisson method

- cascade method

- case method

- catastrophe method

- category method

- centroid method

- chain method

- chaining method

- chord method

- climb milling method

- clustering method

- cofactor method

- coincidence method

- collocation method

- colorimetric method

- combinatorial method

- comparative method

- comparison method

- complete elimination method

- complexometric method

- composite value method

- computing method

- conditionally stable method

- conductance-measuring method

- cone method

- conformal mapping method
- conjugate directions method - conjugate gradient method
- conjugate-gradient method

- constant-fraction method

- constructive method

- continuation method

- contour integral method
- control chart method - conventional milling method
- convergence method

- convergent method

- convex simplex method
- correlation function method
- covariant method

- crossed beam method

- crude method

- cut-and-try method

- cutting-plane method

- cyclic method

- data enrichment method
- decision function method
- decomposition method

- deductive method

- delta method

- depth-first method

- describing function method

- diagonalization method

- dichotomy method

- difference factorization method
- differential control method
- differential-equations method

- diffusion method

- digital method

- dilution method

- dimensional method

- direct method of measurement

- direct method

- direct search method

- dispersion method

- distribution-free method

- dot alloying method

- double-description method

- dry method

- dual simplex method

- duality method

- Dumas method

- dye-penetrant method

- efficient method

- efflux method

- electrophoretic method

- elementary method

- elimination method

- embedded method

- empirical method

- energy method

- equal-probability selection method

- equal-strain method

- equation method

- ergodic method

- error method

- error of method

- escalator method

- estimation method

- exact method

- exclusion method

- exhaustion method

- expansion method

- experimental method

- exterior point method

- extrapolation method

- factor comparison method

- factorial method

- factorization method

- falling body method

- fall-of-charge method

- false position method
- Feynman diagram method
- finitary method

- finite difference method
- first approximation method
- fitting method

- fixed-point method

- floatation method

- floating-zone method

- forecasting method

- formal method

- fractional step method

- freehand method

- functional method

- fundamental method

- game-theoretic method

- general method

- genetic method

- geometrical method

- global balance method
- gradient projection method
- gradient-search method

- graph method

- graphic method

- grapho-numerical method

- gravimetric method

- gray-wedge method

- grid method

- Griess-Ilovai method

- grouping method

- half-and-half method

- half-deflection method

- half-split method

- heuristic method

- hill-climbing method

- Hopkinson split-bar method

- horn-and-lens method

- hydraulic fill method

- hypothetico-deductive method

- idealized method

- identification method

- immersion method

- inaccurate method

- incremental method

- index method

- indirect method of measurement

- indirect method

- inductive method

- inexact method

- infinitesimal method

- informal method

- integral estimation method

- integral method

- integro-interpolation method

- interior point method

- interpretation method

- inverse matrix method

- inverse-scattering method

- inversion method

- isocline method

- isolation method

- iterated-interpolation method

- iteration method
- iterative method
- jacknife method

- kernel of summation method

- kick-sorting method

- knapsack method

- laboratory method

- laborious method

- Lagrange's method of multipliers
- large sample method - large sieve method
- learning method

- least sample value method
- least-squares regression method - less than fully efficient method
- leveling method

- limited information method
- linearly implicit method
- linking method

- load factor method

- load-factor method

- local method

- logical method

- logical-and-probabilistic method

- logistic method

- lost wax method

- machining method

- magnetic particle method

- manufacturing method

- mapping method

- marginal method

- Markowitz method

- matching method

- mathematically deductive method

- matrix method

- maximum likelihood method

- mean-value method

- measurement method

- method of abstraction

- method of acyclic models
- method of adjoint gradient - method of algebraic addition - method of alternating directions
- method of approximation

- method of arithmetic means

- method of arithmetization

- method of averages and ranges

- method of averages

- method of backward induction
- method of balanced blocks
- method of balayage

- method of barriers

- method of basic series

- method of bearings

- method of catastrophes

- method of characteristic functions

- method of characteristics

- method of choice

- method of collapsed strata

- method of comparison

- method of complex gradients
- method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients
- method of continuation

- method of continuity

- method of contrasts

- method of convex ascent

- method of correction

- method of countable coverings

- method of counterexamples

- method of cutting and gluing
- method of cyclic descent - method of detached coefficients
- method of determinants

- method of diagrams

- method of direct elimination
- method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball
- method of estimation

- method of exhaustion

- method of extrapolation

- method of extremal metric
- method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points
- method of forcing

- method of forecasting

- method of fraction levelling
- method of full enumeration - method of generating functions - method of geometric exhaustion
- method of gisements

- method of golden section

- method of graphs

- method of harmonic balance

- method of homology

- method of incremental rates
- method of indefinite coefficients
- method of indicators

- method of induction

- method of inductive inference
- method of infinite descent - method of interval bisection
- method of inversion

- method of isoclines

- method of iterations

- method of krakowians

- method of leading variables
- method of least absolute values - method of least distance - method of least likelihood
- method of lines

- method of loci

- method of martingale

- method of mathematical induction
- method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison
- method of multipliers

- method of normals

- method of numbering

- method of observation

- method of operators

- method of optimum allocation

- method of ordering

- method of orthogonal contrasts
- method of orthogonal projections - method of paired associates - method of paired comparisons
- method of parabolas

- method of parametrix

- method of partial integration

- method of partition

- method of penultimate remainder
- method of phase integrals
- method of potentials

- method of prediction

- method of principal components
- method of projecting cones
- method of proof

- method of proportional control
- method of proportional parts
- method of quantiles

- method of quickest descent

- method of randomization

- method of raviness

- method of rectangles

- method of reiteration

- method of representative sample

- method of residues

- method of revolution

- method of rotating coordinates
- method of rotating factors
- method of scoring

- method of search

- method of selected points
- method of semantic tableaux
- method of semiaverages

- method of separation of variable
- method of separation of variables - method of simulaneous displacements
- method of smoothing

- method of solution

- method of spherical means
- method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration
- method of substitution

- method of successive corrections
- method of successive displacements - method of successive divisions - method of successive elimination
- method of summability

- method of sweeping

- method of tangent parabolas
- method of transfinite induction
- method of transformation

- method of trapezoids

- method of unconditional optimization
- method of unweighted means - method of variable differences - method of variation of parameters
- method of verification

- method of weight functions
- method of weighted residuals
- midrank method

- minimal residual method

- minimax method

- mirror-image method

- modified method

- momentum-transfer method

- moving average method

- moving-average method

- multiextremal method

- multiple correlation method

- multiplex method

- multistep method

- nephelometric method

- net-point method

- neutral-points method

- nonconstructive method

- noncovariant method

- nonlinear method

- nonparametric method

- nonprobabilistic method

- nonrank method

- nonrecursive method

- nonsequential method

- normal approximation method

- number-theoretical method

- numerical graphical method

- objective method

- obstruction method

- offset method

- offset-signal method

- one-sweep method

- operational method

- operations research method

- operator method

- optimal method
- optimum method
- optimum-seeking method

- ordinary least squares method

- orthogonalization method

- orthogonalized-plane-wave method

- parabolic extrapolation method
- parallel tangents method
- paramagnetic-resonance method

- particle method

- particle-in-cell method

- path-of-steepest-ascent method

- penalty function method

- plunge-cut method

- point-estimation method

- polar method

- pole-and-ray method

- postulational method

- powder method

- precise method
- precision method
- primal-dual method

- principal-factor method

- problem-solving method

- processing method

- prognosis method

- proof method

- proportional parts method

- pseudoviscosity method

- pulse method

- pulse-echo method

- quadrature method

- quality control method

- quantal-response method

- quasianalytic method

- quasilinearization method

- quota method

- radiation method

- radiometric method

- random search method
- random walk method
- ranking method

- raster-scan method

- ray-trace method

- real method

- recursion method
- recursive method - reduced gradient method - reflected wave method
- refletion method

- regression method

- regula falsi method

- regular method

- rejection mask method
- relative method of measurement
- reliability method

- representative method

- residue method

- response surface method

- retardation method

- retract method

- rigorous method

- robust method

- root-locus method

- root-sum-of-squares method

- roster method

- rotating-crystal method

- rotation method

- rough-and-ready method

- routine method

- row-by-row method

- Runge-Kutta method

- saddle point method

- saddle-point method

- sampling method by attributes
- sampling method by variables
- saturation method

- scale factor method

- sedimentaion method

- self-checking method

- self-consistency method

- semantic method

- semigraphical method

- semigroup method

- separation method

- set-theoretical method

- shadow method

- shaft sinking method

- shake method

- shock-capturing method

- sieve method

- similitude method

- similitude method

- simple summation method

- simplex method

- simplified method

- simulation method

- singular perturbation method

- singularity method

- slope-deflection method

- smoothing method

- solid straircase method

- solution method

- spectroscopic method

- speedup method

- spiral-scan method

- split-half method

- split-plot method

- spot-scan photomultiplier method

- stable method

- standard inspection method

- standard method

- stationary phase method
- statistical sampling method - steepest descent method
- step-back method

- stepping-stone method

- stepwise method

- stochastic approximation method

- stochastic method

- stylus method

- subjective method

- substitution method

- succession-sweep method

- successive exclusion method

- summability method

- sweeping-out method

- symmetrization method

- synchronous storage method

- synthetic method

- systematic method

- target method

- test-line method

- thermal reduction methods
- time average method
- time-of-flight method

- total value method

- total-strain method

- transcendental method

- transformation method

- transition state method

- tree method

- tree-search method

- trial method

- trial-and-error method

- triangulation method

- trilateration method

- truncation method

- truth-table method

- try-and-error method

- Tukey-Cooley method

- Tukey-Sand method

- two-dimensional method

- two-stage least-square method

- two-sweep method

- univariate method

- up-and-down method

- value-iteration method

- variable metric method

- variable-phase method

- visual method

- volumetric method

- weighted least-squares method

- Whitham's method

- wobbulator method

- worst-case method

- X-ray diffraction method

- zero-beat method

English-Russian scientific dictionary > method
14 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
15 property

1) свойство; качество; атрибут

2) имущество; собственность

3) способность

4) характеристика

•

to have a property — обладать свойством

to impart a property to — придавать свойство

- absolute property

- absorption property

- abstract property

- acoustical property of conic

- acyclic property

- additive property

- aerodynamic property

- affine property

- algebraic property

- analytic property

- antitone property

- approximation property

- associative property

- asymmetric property

- asymptotic equipartition property

- asymptotic property

- basic property

- batch property

- best approximation property

- bimultiplicative property

- blend properties

- boundary property

- breeding property

- calculable property

- cancellation property

- characteristic property

- class property

- closure property

- combinatorial property

- commutative property

- compactness property

- complementary property

- completeness property

- composition property

- concavity property

- congruence property

- conservation property

- consistency property

- continuity property

- convergence property

- convexity property

- covariance property

- covariant property

- covering homotopy property

- Dedekind property

- degeneracy property

- differentiability property

- differential property

- distribution-free property

- divisibility property

- effective property

- elementary property

- embedding property

- empirical property

- equichain property

- equicontinuity property

- ergodic property

- exclusion property

- extensible property

- extension property

- extensionability property

- extensionally attainable property

- extremality property

- factorizable property

- finite intersection property
- fixed point property
- focal property

- formal property

- Fredholm property

- frontier property

- functorial property

- fundamental property

- gas-dynamic property

- general property

- generic property

- geometric property

- global property

- going-down property

- going-up property

- group property

- hereditary property

- homogeneity property

- homology property

- homotopy property

- idempotent property

- identification property

- identity property

- impossible property

- inclusion property

- inductive property

- inner property

- inside sphere property

- interpolation property

- intersection property

- intrinsic property

- invariant property

- invertibility property

- isoperimetric property

- isotone property

- lattice-theoretic property

- limit property

- linear property

- logarithmic property

- lubricative property

- Markov property

- maximin property

- maximum property

- memoryless property

- meromorphic property

- minimal property

- minimax property

- minimum curvature property
- minimum norm property
- minimum property

- mixing property

- monotonicity property

- movable property

- mutability of property

- non-Archimedean property

- nonlocal property

- nonmetric property

- optimum property

- order-preserving property

- order-theoretic property

- orthogonal property

- oscillation property

- passivation property

- periodicity property

- persistent property

- personal property

- physical property

- positivity property

- primary property

- property of being Archimedian
- property of being atomistic - property of being centered - property of being holomorphic - property of being meromorphic - property of being odd - property of being two-valued - property of being unitary
- property of closure

- property of congruence

- property of forgetfulness

- property of orthogonality

- property of proportionality

- property of reversibility

- pullback property

- quantitative property

- random property

- real property

- recurrence property

- reducible property

- reduction property

- reflexion property

- reflexive property

- regularity property

- reproducing property

- reproductive property

- residual property

- road-holding property

- robustness property

- root property

- self-reproducing property

- semantic property

- semigroup property

- separation property

- service property

- smoothing property

- spectral property

- star property

- stationary property

- statistical property

- stochastic property

- strength-weight properties

- strict property

- structural property

- subadditive property

- substitution property

- supercompactness property

- syntactic property

- tangent property

- tangential property

- thermal property

- topological property

- transformation property

- transitive property

- triangle property

- trichotomy property

- two-valued property

- uniformity property

- unimodular property

- unique decomposition property

- unitary property

- universal property

- variation diminishing property

English-Russian scientific dictionary > property
16 relation

1) зависимость, (взаимо)связь

2) отношение; соотношение

3) родственность

4) геол. условия залегания

•

relation in parametric form — зависимость в параметрической форме

relation over set — отношение на множестве

- absolute relation

- abstract relation

- additive relation

- adjoint relation

- algebraic relation

- almost regular relation
- almost universal relation
- analytical relation

- ancestral relation

- anharmonic relation

- anticommutation relation

- anticommutative relation

- antidiagonal relation

- antimonotone relation

- antipermutation relation

- antireflexive relation

- antisymmetric relation

- apartness relation

- arithmetical relation

- arithmetized relation

- associative relation

- associativity relation

- asymmetric relation

- asymptotic relation

- atomic relation

- basic relation

- bilinear relation

- birational relation

- bisymmetric relation

- boundary relation

- calculable relation

- causal relation
- cause-effect relation
- characteristic relation

- circuit relation

- closed relation

- closure relation

- coboundary relation

- collectivizing relation

- color-luminosity relation

- combination relation

- communication relation

- commutativity relation

- commutator relation

- complementary relation

- complete relation

- completeness relation

- conceptual relation

- congruence relation

- connected relation

- connectedness relation

- connecting relation

- consequence relation

- consistency relation

- constitutive relation

- constraining relation

- continuous relation

- convergent relation

- converse relation

- correlation relation

- correspondence relation

- cosimple relation

- covering relation

- cubic relation

- curvilinear relation

- de Broglie relation

- decidable relation

- decoded relation

- defect relation

- definable relation

- defining relation

- dependence relation

- derived relation

- determinate relation

- dichotomous relation

- difference relation

- differential relation

- difunctional relation

- direct relation

- directed relation

- discrete relation

- dispersion relation

- double relation

- dual relation

- dyadic relation

- dynamic relation

- effectively decidable relation

- elementary relation

- empirical relation

- empty relation

- enumerating relation

- equality relation

- equal-time commutation relation

- equilibrium relation

- explicitly definable relation

- expressible relation

- extensible relation

- extremal relation

- false relation

- fibering relation

- forcing relation

- formal relation

- functionally arithmetical relation

- fundamental relation

- funded relation

- fuzzy relation

- general recursive relation
- generalized semigroup relation
- generating relation

- genetic relation

- geometrical relation

- homeomorphism relation

- homogeneity relation

- homogeneous relation

- homotopy relation

- hyperarithmetical relation

- hyperelementary relation

- idempotent relation

- identical relation

- identity relation

- implicit relation

- incidence relation

- inclusion relation

- indifference relation

- inequality relation

- integral relation

- intransitive relation

- invariance relation

- invariant relation

- inverse relation

- irreflexive relation

- isomorphism relation

- length of relation

- limiting relation

- linear order relation

- logical relation

- logically constructed relation
- logically irreducible relation
- magnitude relation

- many-termed relation

- mass-energy relation

- matrix relation

- metrized relation

- multivalued relation

- naming relation

- n-ary relation

- natural relation

- nonlinear relation

- nonreflexive relation

- nonsymmetric relation

- nontransitive relation

- nontrivial relation

- normal relation

- n-place relation

- null relation

- number-theoretic relation

- numerical relation

- one-to-one relation

- operational relation

- order relation

- orthogonality relation

- pairwise connected relation
- parametrically definable relation - partial ordering relation
- partial relation

- permanence relation

- permutable relation

- perpendicularity relation

- plausibility relation

- polyadic relation

- polynomial relation

- positively calculable relation

- power relation

- predicative relation

- preference relation

- preorder relation

- prime relation

- primitive relation

- primitively recursive relation

- principal relation

- projective relation

- proper relation

- proportionality relation

- proximity relation

- pseudoorder relation

- quadratic relation

- quasiatomic relation

- quasicoordinate relation

- quasiorder relation

- quasirecursive relation

- quasitransitive relation

- quaternary relation

- range energy relation

- rank relation

- reciprocity relation

- recurrence relation

- recursion relation

- recursive relation
- recursively enumerable relation - recursively invariant relation - recursively representable relation
- redundant relation

- reflexive symmetric relation

- relation of coincidence

- relation of congruence

- relation of conjugary

- relation of consequence

- relation of direct relation

- relation of domination

- relation of equality

- relation of equinumerosity

- relation of equivalence

- relation of implication

- relation of inclusion

- relation of intermediacy

- relation of isomorphism

- relation of membership

- relation of modularity

- relation of orthogonality

- relation of preceding

- relation of recurrence

- relation of strict dominance

- relationship relation

- representing relation

- reversible relation

- rudimentary relation

- self-dual relation

- self-transitive relation

- semantic relation

- semirecursive relation

- separating relation

- sequential relation

- serial relation

- shuffle relation

- similarity relation

- simple recurrence relation

- skew-symmetric relation

- spatial relation

- special linear relation

- special relation

- stable relation

- static relation

- statistical relation

- stochastic relation

- strong relation

- strongly connected relation
- strongly definable relation
- structural relation

- subset relation

- substitutive relation

- successor relation

- symbolic relation

- symmetry relation

- temporal relation

- tetradic relation

- three-termed relation

- totally reflexive relation

- transitivity relation

- transportable relation

- triadic relation

- trichotomic relation

- trivializing relation

- two-termed relation

- unary relation

- uncertainty relation

- undecidable relation

- unextensible relation

- unimonotone relation

- universal relation

- virtual order relation

- void relation

- weakly permutable relation
- weakly symmetric relation
- well-founded relation

- well-ordered relation

English-Russian scientific dictionary > relation
17 error

[ˈerə]

absolute error абсолютная ошибка accidental error случайная ошибка accounting error ошибка бухгалтерского учета accuracy error постоянная ошибка addressing error вчт. ошибка адресации alignment error погрешность юстировки altering error нерегулярная ошибка analytic truncation error ошибка аналитического усечения average error средняя ошибка bad call format error вчт. ошибка из-за неправильного вызова bad command error вчт. ошибка из-за неправильной команды balancing error сбалансированная ошибка error ошибка, заблуждение; to make an error совершить ошибку, ошибиться; in error по ошибке, ошибочно; to be in error заблуждаться bias error постоянная ошибка biased error постоянная ошибка biased error систематическая ошибка burst error вчт. пакет ошибок calculating error погрешность расчета call error вчт. ошибка вызова chance error случайная ошибка checksum error вчт. ошибка в контрольной сумме code error вчт. ошибка в коде coincidence error вчт. ошибка совпадения common error вчт. обычная ошибка compensating error вчт. компенсирующая ошибка compensating error компенсирующая ошибка compile-time error вчт. ошибка при трансляции completeness error вчт. ошибка завершения configuration error вчт. ошибка компоновки configuration error вчт. ошибка конфигурации connection error вчт. ошибка монтажа consistency error вчт. ошибка из-за несовместимости constant error постоянная ошибка constant error систематическая ошибка constructional error вчт. ошибка монтажа contributory error вчт. внесенная ошибка control error вчт. ошибка регулирования critical error вчт. неустранимая ошибка crude error вчт. грубая ошибка cumulative error накопленная ошибка data error вчт. ошибка в данных data-bit error вчт. ошибка в битах данных deletion error вчт. ложное исключение design error ошибка проектирования detectable error вчт. обнаруживаемая ошибка detectable error вчт. обнаружимая ошибка difficult-to-locate error вчт. труднообнаружимая ошибка displacement error вчт. ошибка из-за смещения documentation error ошибка в документации double-bit error вчт. двухбитовая ошибка dropout error вчт. ошибка из-за выпадения error поэт. блуждание error грех error заблуждение error ложное представление error отклонение, уклонение, погрешность error отклонение от номинала error ошибка, заблуждение; to make an error совершить ошибку, ошибиться; in error по ошибке, ошибочно; to be in error заблуждаться error вчт. ошибка error ошибка error вчт. погрешность error погрешность error потеря точности error "приказ об ошибке" (т.е. о передаче материалов по делу в апелляционный суд для пересмотра вынесенного судебного решения на основании ошибки, допущенной при рассмотрении дела) error радио рассогласование error рассогласование error due to sampling вчт. ошибка выборки error frequency limit вчт. максимальная частота однобитовых ошибок error in addition мат. ошибка сложения error in standard deviation ошибка среднего квадратического отклонения error in subtraction мат. ошибка вычитания error of estimation ошибка оценивания error of judgment неверное суждение error of judgment ошибочная оценка error of posting ошибка бухгалтерской проводки error status flag вчт. флаг состояния ошибки estimated error оцениваемая ошибка estimation error ошибка оценивания estimation error ошибка оценки execution error вчт. ошибка выполнения experimental error погрешность эксперемента factual error фактическая ошибка fatal error вчт. неисправимая ошибка fatal hard error вчт. неисправимая аппаратная ошибка file error вчт. ошибка при работе с файлом fixed error постоянная ошибка fixed error систематическая ошибка following error ошибка слежения formal error формальная ошибка framing error ошибка кадровой синхронизации frequency error погрешность частоты general error вчт. ошибка общего характера gross error грубая ошибка hardware error вчт. аппаратная ошибка human error вчт. ошибка оператора error ошибка, заблуждение; to make an error совершить ошибку, ошибиться; in error по ошибке, ошибочно; to be in error заблуждаться in-process error ошибка изготовления inherent error вчт. унаследованная ошибка inherited error вчт. предвнесенная ошибка inherited error вчт. унаследованная ошибка initial error вчт. начальная ошибка input error вчт. ошибка на входе insertion error вчт. ошибка ложного восприятия instantaneous error вчт. текущее значение ошибки intentional error вчт. умышленная ошибка intermediate error вчт. нерегулярная ошибка intermittent error случайная ошибка interpolation error ошибка интерполяции intrinsic error вчт. исходная ошибка introduced error вчт. внесенная ошибка introduced error вчт. допущенная ошибка irrecoverable error непоправимая ошибка isolated error вчт. локализованная ошибка isolated error вчт. одиночная ошибка judicial error судебная ошибка limiting error предел точности literal error полигр. опечатка literal: error буквенный; literal error опечатка error ошибка, заблуждение; to make an error совершить ошибку, ошибиться; in error по ошибке, ошибочно; to be in error заблуждаться marginal error вчт. краевая ошибка matching error вчт. ошибка неточного согласования material error существенная ошибка maximum error максимальная ошибка maximum error предельная ошибка maximum permissible error максимальная допустимая ошибка mean error средняя ошибка mean probable error средняя вероятная ошибка metering error ошибка измерения missing error вчт. ошибка из-за отсутствия данных nautical error навигационная ошибка no-paper error вчт. ошибка из-за отсутствия бумаги nonsampling error постоянная ошибка nonsampling error систематическая ошибка observation error ошибка наблюдения observational error ошибка наблюдения offsetting error компенсирующая ошибка operating error ошибка в процессе работы operating error ошибка из-за нарушения правил эксплуатации operation error ошибка в работе operational error ошибка из-за нарушения правил эксплуатации operator error вчт. ошибка оператора output error вчт. ошибка выхода parity error ошибка, выявленная контролем по четности parity error вчт. ошибка четности pattern-sensitive error вчт. кодочувствительная ошибка percentage error ошибка в процентах permissible error допустимая ошибка posting error ошибка при переносе в бухгалтерскую книгу precautionary error подозреваемая ошибка predictable error предсказуемая ошибка probable error вероятная ошибка probable error стат. вероятная ошибка procedural error процедурная ошибка procedural error процеждурная ошибка professional error профессиональная ошибка program error вчт. ошибка в программе program error вчт. программная ошибка propagated error накапливаемая ошибка propagated error вчт. распространяющаяся ошибка propagation error вчт. накапливающаяся ошибка pure error вчт. истинная ошибка quantitative error количественная ошибка quantization error вчт. ошибка дискретизации quiet error вчт. исправимая ошибка quite error вчт. исправимая ошибка random error случайная ошибка random sampling error ошибка случайной выборки read fault error вчт. сбой при чтении reasonable error допустимая ошибка recoverable error вчт. исправимая ошибка recoverable error исправимая ошибка recurrent error вчт. повторяющаяся ошибка reduced error приведенная погрешность relative error относительная ошибка remediable error поправимая ошибка residual error остаточная ошибка responce error вчт. ошибка ответной реакции resultant error суммарная ошибка return an error code вчт. выдавать код ошибки root-mean-square error среднеквадратичная ошибка round error вчт. ошибка округления round-off error вчт. ошибка округления rounding error вчт. ошибка округления rounding error ошибка округления run-time error вчт. ошибка при выполнении runtime error вчт. ошибка при выполнении sample error вчт. ошибка выборки sampling error вчт. ошибка выборки sampling error stat. ошибка выборки sampling error stat. ошибка выборочного обследования sampling error вчт. ошибка квантования seek error вчт. ошибка при поиске дорожки select error вчт. ошибка выборки select error вчт. ошибка отсутствия связи semantic error вчт. семантическая ошибка sequence error вчт. неправильный порядок setup error вчт. ошибка настройки severe error серьезная ошибка size error вчт. переполнение размера сетки smoothing error ошибка сглаживания soft error нерегулярная ошибка soft error вчт. случайный сбой software error comp. ошибка в системе программного обеспечения software error вчт. программная ошибка solid burst error вчт. плотный пакет ошибок solid error вчт. постоянная ошибка spelling error орфографическая ошибка srecification error ошибка в описании standard error среднеквадратическая ошибка standard error (SE) stat. среднеквадратическая ошибка steady-state error статическая ошибка stored error вчт. накопленная ошибка substantial error существенная ошибка substitution error вчт. ошибка замещения subtle error неявная ошибка syntactical error синтаксическая ошибка syntax error вчт. синтаксическая ошибка system error вчт. ошибка системы systematic error stat. систематическая ошибка tabulation error вчт. неправильная классификация technical error формальная ошибка technical error формально-юридическая ошибка time-base error вчт. ошибка синхронизации timing error вчт. ошибка синхронизации total error накопленная ошибка total error общая ошибка transient error вчт. перемежающая ошибка translation error ошибка в переводе transmission error вчт. ошибка передачи true error вчт. истинная ошибка truncation error вчт. ошибка отбрасывания членов ряда truncation error вчт. ошибка усечения typing error опечатка unbiased error случайная ошибка uncompensated error нескомпенсированная ошибка underflow error вчт. ошибка обнаружения undetectable error вчт. необнаруживаемая ошибка undetectable error вчт. необнаружимая ошибка unexpected error occured вчт. произошла непредвиденная ошибка unrecoverable error вчт. неисправимая ошибка wiring error ошибка монтажа write fault error вчт. сбой при записи write protect error вчт. ошибка в связи с защитой от записи zero error сдвиг нуля

English-Russian short dictionary > error

См. также в других словарях:

Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… … Wikipedia
Formal studies of Bigfoot — There have been a limited number of formal scientific studies of Bigfoot or Sasquatch, the supposed ape like creature said to live in North America, and a small number of scientists with mainstream training have examined the… … Wikipedia
formal logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Freq. 1) • Syn: ↑symbolic logic, ↑mathematical logic • Hypernyms: ↑logic, ↑logical system,… … Useful english dictionary
Al's Formal Wear — is a chain of tuxedo rental stores now based in Houston, Texas. The company was originally founded in Fort Worth, Texas by Al Sankary in 1950, who grew the company to over 90 locations in Texas, Louisiana, and Oklahoma. The company stocks over 70 … Wikipedia
Size consistency — In quantum chemistry, size consistency (or strict separability) is a property that guarantees the consistency of the energy behavior when interaction between the involved molecular system is nullified (for example, by distance). Let A and B be… … Wikipedia
Coherence (The philosophy of) — Green, Bosanquet and the philosophy of coherence Gerald F.Gaus INTRODUCTION Along with F.H.Bradley (Bradley, F.H.), T.H.Green and Bernard Bosanquet were the chief figures in what is commonly called British idealism. Bradley is widely regarded as… … History of philosophy
economic planning — Use of government to make economic decisions with respect to the use of resources. In communist countries with a state planning apparatus, detailed and rigid planning results in a command economy; land, capital, and the means of production are… … Universalium

Словари и энциклопедии на Академике

Перевод: с английского на русский

formal consistency

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

formal consistency

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: